新世代プログラミング④ 新しいプログラミング・スタイルと言語(2) 関数型プログラミング言語KRCを中心として